منابع مشابه
Local Pragmatics
The outline of a unified theory of local pragmatics phenomena is presented, including an approach to the problems of reference resolution, metonymy, and interpreting nominal compounds, and the TACITUS system embodying this theory is described. The theory and system are based on the use of a theorem prover to draw the appropriate inferences from a large knowledge base of commonsense and technica...
متن کاملLocal vs . Global : Intelligent Local Face Recognition
Face recognition in real world applications is a very difficult task because of image misalignments, pose and illumination variations, or occlusions. Many researchers in this field have investigated both face representation and classification techniques able to deal with these drawbacks. However, none of them is free from limitations. Early proposed algorithms were generally holistic, in the se...
متن کاملTreewidth in Verification: Local vs. Global
The treewidth of a graph measures how close the graph is to a tree. Many problems that are intractable for general graphs, are tractable when the graph has bounded treewidth. Recent works study the complexity of model checking for state transition systems of bounded treewidth. There is little reason to believe, however, that the treewidth of the state transition graphs of real systems, which we...
متن کاملGlobal vs. Local in Basic Modal Logic
We discuss results on global definability in basic modal logic, and contrast our model-theoretic results and proof techniques with known results about local definability.
متن کاملLocal vs. Global Variables for Spin Glasses
We discuss a framework for understanding why spin glasses differ so remarkably from homogeneous systems like ferromagnets, in the context of the sharply divergent low temperature behavior of shortand infinite-range versions of the same model. Our analysis is grounded in understanding the distinction between two broad classes of thermodynamic variables – those that describe the global features o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Inquiry
سال: 2016
ISSN: 0020-174X,1502-3923
DOI: 10.1080/0020174x.2016.1246862